Geometric Logic for Policy Analysis∗

نویسندگان

  • Salman Saghafi
  • Tim Nelson
  • Daniel J. Dougherty
چکیده

We describe a new computational engine for model-finding and its application to security policy analysis. We evaluate a preliminary implementation of our algorithm by comparing with a mature tool, the Margrave Policy Analyzer, with respect to performance and quality of output.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A New Framework for Hegemonic Analysis of Monetary Policy: The Case of Iran

Monetary policy rule might be helpful to avoid the problem of time inconsistency provided there is a commitment to the rule. The commitment is the ability of a government to bind future policies. However, it doesn’t include intrinsic motivations. Therefore, hegemony, which includes both intrinsic and extrinsic motivations, better solves the problem of  time inconsistency. In this paper, we expl...

متن کامل

Extended Geometric Processes: Semiparametric Estimation and Application to ReliabilityImperfect repair, Markov renewal equation, replacement policy

Lam (2007) introduces a generalization of renewal processes named Geometric processes, where inter-arrival times are independent and identically distributed up to a multiplicative scale parameter, in a geometric fashion. We here envision a more general scaling, not necessar- ily geometric. The corresponding counting process is named Extended Geometric Process (EGP). Semiparametric estimates are...

متن کامل

The Conceptualization of Value in the Value Proposition of New Health Technologies; Comment on “Providing Value to New Health Technology: The Early Contribution of Entrepreneurs, Investors, and Regulatory Agencies”

Lehoux et al provide a highly valid contribution in conceptualizing value in value propositions for new health technologies and developing an analytic framework that illustrates the interplay between health innovation supply-side logic (the logic of emergence) and demand-side logic (embedding in the healthcare system). This commentary brings forth several considerations on this article. First, ...

متن کامل

Site selection for wastewater treatment plant using integrated fuzzy logic and multicriteria decision model: A case study in Kahak, Iran

One of the environmental issues in urban planning is finding a suitable site for constructing infrastructures such as water and wastewater treatment plants. There are numerous factors to be considered for this purpose, which make decision-making a complex task. We used an integrated fuzzy logic and multicriteria decision model to select a suitable site for establishing wastewater treatment plan...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013